University of Vienna

Results: 1461



#Item
61Name-based view integration for enhancing the reusability in process-driven SOAs Huy Tran1 , Uwe Zdun1 , and Schahram Dustdar1 Distributed Systems Group Information System Institute Vienna University of Technology, Austr

Name-based view integration for enhancing the reusability in process-driven SOAs Huy Tran1 , Uwe Zdun1 , and Schahram Dustdar1 Distributed Systems Group Information System Institute Vienna University of Technology, Austr

Add to Reading List

Source URL: eprints.cs.univie.ac.at

- Date: 2011-02-16 11:06:13
    62Applicability of ASP-based Problem Solving on Tree Decompositions Bernhard Bliem, Reinhard Pichler and Stefan Woltran Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9–11; A-1040 Wien

    Applicability of ASP-based Problem Solving on Tree Decompositions Bernhard Bliem, Reinhard Pichler and Stefan Woltran Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9–11; A-1040 Wien

    Add to Reading List

    Source URL: dbai.tuwien.ac.at

    - Date: 2013-06-20 14:18:41
      63Algorithms and Complexity Results for Exact Bayesian Structure Learning Sebastian Ordyniak and Stefan Szeider Institute of Information Systems Vienna University of Technology, Austria

      Algorithms and Complexity Results for Exact Bayesian Structure Learning Sebastian Ordyniak and Stefan Szeider Institute of Information Systems Vienna University of Technology, Austria

      Add to Reading List

      Source URL: event.cwi.nl

      - Date: 2010-06-18 10:53:36
        64Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems∗ Peter Sch¨uller and Thomas Eiter and Michael Fink (Faculty Mentors) Institute of Information Systems Vienna University of Tec

        Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems∗ Peter Sch¨uller and Thomas Eiter and Michael Fink (Faculty Mentors) Institute of Information Systems Vienna University of Tec

        Add to Reading List

        Source URL: www.peterschueller.com

        - Date: 2012-11-15 13:02:25
          65International Association of University Presidents 5th–8th July 2017 Vienna, Austria Call for Papers

          International Association of University Presidents 5th–8th July 2017 Vienna, Austria Call for Papers

          Add to Reading List

          Source URL: iauptriennial2017.com

          - Date: 2016-07-15 06:30:49
            66What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

            What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

            Add to Reading List

            Source URL: forsyte.at

            - Date: 2016-03-08 09:52:31
              67Incremental and Fully Dynamic Subgraph Connectivity For Emergency Planning Monika Henzinger University of Vienna, Faculty of Computer Science, Vienna, Austria Stefan Neumann

              Incremental and Fully Dynamic Subgraph Connectivity For Emergency Planning Monika Henzinger University of Vienna, Faculty of Computer Science, Vienna, Austria Stefan Neumann

              Add to Reading List

              Source URL: eprints.cs.univie.ac.at

              - Date: 2016-07-01 07:59:01
                68Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

                Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

                Add to Reading List

                Source URL: multicore.doc.ic.ac.uk

                - Date: 2015-06-04 05:51:35
                  69Maple T.A. in Engineering Educations Stefanie Winkler, Andreas K¨ orner, Vilma Urbonaite Institute for Analysis and Scientific Computing, Vienna University of Technology, Vienna, Austria (e-mail: stefanie.winkler@tuwien

                  Maple T.A. in Engineering Educations Stefanie Winkler, Andreas K¨ orner, Vilma Urbonaite Institute for Analysis and Scientific Computing, Vienna University of Technology, Vienna, Austria (e-mail: stefanie.winkler@tuwien

                  Add to Reading List

                  Source URL: seth.asc.tuwien.ac.at

                  - Date: 2012-02-08 11:06:59
                    70Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle

                    Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle

                    Add to Reading List

                    Source URL: dbai.tuwien.ac.at

                    - Date: 2013-09-24 06:14:24